21. Coherent systems

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)

رده :
Q339
.
2
.
S35
2004

22. Conditionals and Modularity in General Logics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات

رده :
BC199
.
C56
,
G32
2011

23. Content and modality

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;

24. Deontic modality

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(

رده :
P
107
.
D46

25. Directions in relevant logic

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses

رده :
BC
199
.
M6
.
D57
1989

26. Directions in relevant logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(

رده :
BC
199
.
M6D57
1989

27. Displaying modal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع : Modality (Logic)

28. Essays in the metaphysics of modality

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Modality )Logic(,، Metaphysics

رده :
B945
.
P553
M48
2003

29. First steps in modal logic

پدیدآورنده :

کتابخانه: (قم)

رده :
QA
9
.
46
.
P67
1994

30. Gentzen calculi for modal propositional logi

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Modality (Logic),Electronic books., local

31. Hybrid Logic and its Proof-Theory

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Proof theory,Logic, Symbolic and mathematical

رده :
QA9
,.
54
.
B73
2011

32. Intensional and higher-order modal logic: with applications to Montague semantics

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Intension )Logic(,، Modality )Logic(

رده :
BC
199
.
I5
G3

33. Intensional and higher-order modal logic : with applications to Montague semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6
.
G35
1975

34. Intensional mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics

رده :
QA
9
.
46
.
I57
1985

35. Intensional mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-

رده :
QA
9
.
46
.
I57

36. Intensional mathematics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Modality (Logic) ;

37. Intentional mathematics

پدیدآورنده :

موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

38. Interpolation and definability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(

رده :
QA
281
.
G28I5

39. Introductory modal logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Modality )Logic(

رده :
BC
199
.
M6
K66
1986

40. Investigations in modal and tense logics with applications to problems in philosophy and linguistics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general

رده :
BC
199
.
M6
.
G3